f() ->
  X = case 1 of
    Z -> Z
  end,
  case X of
    Z -> Z
  end.
